Formalizing Medieval Logical Theories, Suppositio, Consequentiae and Obligationes
نویسنده
چکیده
No wonder you activities are, reading will be always needed. It is not only to fulfil the duties that you need to finish in deadline time. Reading will encourage your mind and thoughts. Of course, reading will greatly develop your experiences about everything. Reading formalizing medieval logical theories suppositio consequentiae and obligationes is also a way as one of the collective books that gives many advantages. The advantages are not only for you, but for the other peoples with those meaningful benefits.
منابع مشابه
I Theories on Suppositio theories
Over the last 50 years, medieval theories of supposition have attracted a great deal of interest both among historians of philosophy and systematically oriented philosophers. That is, some scholars are mostly interested in the historical importance of such theories, and therefore try to explain their development against a historical background. Others, however, estimate that the conceptual cont...
متن کاملConstructions, proofs and the meaning of logical constants
During the last decade both mathematicians and philosophers have been interested in the development of various theories of constructions. The study of these theories has been prompted by at least three sorts of considerations. The first theories were proposed by Kreisel around 1960 as a means of formalizing the intended interpreation for the intuitionistic logical constants as presented in Heyt...
متن کاملReasoning About Obligations in Obligationes: A Formal Approach
Despite the appearance of ‘obligation’ in their name, medieval obligational disputations between an Opponent and a Respondent seem to many to be unrelated to deontic logic. However, given that some of the example disputations found in medieval texts involve Respondent reasoning about his obligations within the context of the disputation, it is clear that some sort of deontic reasoning is involv...
متن کاملThe Logic of Where and While in the 13th and 14th Centuries
Medieval analyses of molecular propositions include many non-truthfunctional connectives in addition to the standard modern binary connectives (conjunction, disjunction, and conditional). Two types of non-truthfunctional molecular propositions considered by a number of 13thand 14th-century authors are temporal and local propositions, which combine atomic propositions with ‘while’ and ‘where’. D...
متن کاملThree 13th-century views of quantified modal logic
There are two reasons why medieval logic is of interest to modern logician: One is to see how similar it is to modern logic and the other is to see how different it is. We study three 13th-century works on modal logic and give two examples their views of modal logic differ from modern views of the same: the nature of modality and the truth conditions for modal sentences. Because of the differen...
متن کامل